T-VEC: A Tool for Developing Critical Systems
نویسندگان
چکیده
This paper describes the specification-based testing and analysis tools, and associated processes, that were used to develop and certify safety-critical avionics systems in an industrial organization. These tools comprise an integrated development environment supporting specification acquisition and analysis, requirement-based automatic test vector generation, test coverage analysis, test driver generation, and test results analysis. The paper describes the specification model, method, development environment, and tool qualification approach. The capabilities of the automatic test generator are compared with foundational concepts and related testing strategies and mechanisms.
منابع مشابه
Guidelines for Software Tool Qualification
Contents Software Productivity Consortium (Consortium) members applying the tools for both the requirement and design model-driven verification and validation are often required to certify their software with various certification authorities such as the Federal Aviation Administration (FAA) and Food and Drug Administration (FDA). These certifications require methods and supporting artifacts fo...
متن کاملSupplemental Material: Path Space Regularization for Holistic and Robust Light Transport
#include // smallpt, a Path Tracer by Kevin Beason, 2008 #include // Make : g++ -O3 -fopenmp smallpt.cpp -o smallpt #include //Note typedef struct Vec { // Usage: time ./explicit 16 && xv image.ppm double x, y, z; // position, also color (r,g,b) Vec(double x_=0, double y_=0, double z_=0){ x=x_; y=y_; z=z_; } Vec operator+(const Vec &b;) const { return Vec(x+b.x,y+b....
متن کاملCritical analysis of an oncolytic herpesvirus encoding granulocyte-macrophage colony stimulating factor for the treatment of malignant melanoma
Oncolytic viruses that selectively lyse tumor cells with minimal damage to normal cells are a new area of therapeutic development in oncology. An attenuated herpesvirus encoding the granulocyte-macrophage colony stimulating factor (GM-CSF), known as talimogene laherparepvec (T-VEC), has been identified as an attractive oncolytic virus for cancer therapy based on preclinical tumor studies and re...
متن کاملA Phase I, multicenter, open-label trial to evaluate the safety of talimogene laherparepvec (T-VEC) injected into liver tumors
Introduction T-VEC, an intralesionally-delivered oncolytic immunotherapy, is a herpes simplex virus-1 engineered to selectively replicate in tumors and stimulate an antitumor immune response through expression of GMCSF. T-VEC has the ability to lyse various cancer cell types in vitro[1]. A Phase III study of T-VEC injected into skin, subcutaneous, or lymph node tumors versus subcutaneous GM-CSF...
متن کامل